//#define  _CRT_SECURE_NO_WARNINGS
//#include <iostream>
//#include <algorithm>
//using namespace std;
//int n;
//int arr[55] = { 0 };
//long long ans = 1;
//int main() {
//	cin >> n;
//	for (int i = 0; i < n; i++)cin >> arr[i];
//	sort(arr, arr + n);
//	for (int i = 0; i < n; i++) {
//		ans *= (arr[i] - i);
//		ans %= 1000000007;
//	}
//	cout << ans;
//
//	return 0;
//}